Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
441	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS Paul Gottlieb Nipkow Satisfiability Modulo Theories Theoretical computer science Mathematical software Applied mathematics
442	Phillip J. Windley 151 S[removed]East Lindon, UT[removed][removed]removed] Add to Reading List Source URL: phil.windley.org Language: English - Date: 2003-03-12 22:59:46 Formal methods Software Automated theorem proving Very-large-scale integration Formal verification Actor model E theorem prover Hardware description language HOL Theoretical computer science Logic in computer science Applied mathematics
443	Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Mathematical logic Constraint programming Boolean algebra Resolution Conjunctive normal form Unit propagation Davis–Putnam algorithm Ansgar Boolean satisfiability problem Automated theorem proving Theoretical computer science Mathematics
444	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:54 Proof assistant Nqthm Five lemma Order theory Lemmas Mathematics Automated theorem proving
445	HOL Formalised: Formal Design of the Logical Kernel R.D. Arthan ICL, Eskdale Road, Winnersh, Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:59:07 Logic in computer science Formal methods HOL Automated theorem proving Metalogic DICT Theorem Theory Standard ML Logic Mathematics Theoretical computer science
446	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
447	Overview COMP 4161 NICTA Advanced Course Automatic Proof and Disproof Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS KeY QuickCheck Theoretical computer science Mathematical software Software
448	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
449	Refutation-Complete Binary Decision Diagrams Scott P. Sanner Department of Computer Science University of Toronto Toronto, ON M5S 3G4 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2004-05-05 19:58:06 Boolean algebra Automated theorem proving Constraint programming Mathematical logic Diagrams Binary decision diagram DPLL algorithm Boolean satisfiability problem Resolution Theoretical computer science Mathematics Applied mathematics
450	AAAI-06 Technical Paper Abstracts (Organized by schedule of presentation) Tuesday, July 18 10:20 – 11:20 AM Machine Learning I Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-16 00:04:28 Inductive reasoning Reasoning Cybernetics Automated theorem proving Constraint programming Reasoning system Algorithm Collaborative filtering Agent-based model Artificial intelligence Science Cognition

UPDATE